инспекция программ (по Фагану)

Programming: Fagan inspection (методология формального анализа , применяемая по завершении программирования модуля)